博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德 带有非刚性代理集的时间认知逻辑,用于分析区块链协议。 (英语) Zbl 1442.68222号 J.日志。计算。 29,第5期,803-830(2019).MSC公司:68T27型 03B42号 03B44号 68T42型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.日志。计算。29,第5号,803--830(2019;Zbl 1442.68222) 全文: 内政部 链接
博扬·马里科维奇;佐兰·奥格尼亚诺维奇;道德,德拉甘;阿列克桑达尔·佩罗维奇 时间流同构于(ω^2)的命题线性时间逻辑。 (英语) Zbl 1328.03017号 J.应用。日志。 第21208-229号(2014).MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.Appl。日志。12,第2号,208--229(2014;Zbl 1328.03017) 全文: 内政部 arXiv公司